Fault-free performance validation of fault-tolerant multiprocessors

A validation methodology for testing the performance of fault-tolerant computer systems was developed and applied to the Fault-Tolerant Multiprocessor (FTMP) at NASA-Langley's AIRLAB facility. This methodology was claimed to be general enough to apply to any ultrareliable computer system. The goal of this research was to extend the validation methodology and to demonstrate the robustness of the validation methodology by its more extensive application to NASA's Fault-Tolerant Multiprocessor System (FTMP) and to the Software Implemented Fault-Tolerance (SIFT) Computer System. Furthermore, the performance of these two multiprocessors was compared by conducting similar experiments. An analysis of the results shows high level language instruction execution times for both SIFT and FTMP were consistent and predictable, with SIFT having greater throughput. At the operating system level, FTMP consumes 60% of the throughput for its real-time dispatcher and 5% on fault-handling tasks. In contrast, SIFT consumes 16% of its throughput for the dispatcher, but consumes 66% in fault-handling software overhead

Automatic generation of hardware/software interfaces

Enabling new applications for mobile devices often requires the use of specialized hardware to reduce power consumption. Because of time-to-market pressure, current design methodologies for embedded applications require an early partitioning of the design, allowing the hardware and software to be developed simultaneously, each adhering to a rigid interface contract. This approach is problematic for two reasons: (1) a detailed hardware-software interface is difficult to specify until one is deep into the design process, and (2) it prevents the later migration of functionality across the interface motivated by efficiency concerns or the addition of features. We address this problem using the Bluespec Codesign Language~(BCL) which permits the designer to specify the hardware-software partition in the source code, allowing the compiler to synthesize efficient software and hardware along with transactors for communication between the partitions. The movement of functionality across the hardware-software boundary is accomplished by simply specifying a new partitioning, and since the compiler automatically generates the desired interface specifications, it eliminates yet another error-prone design task. In this paper we present BCL, an extension of a commercially available hardware design language (Bluespec SystemVerilog), a new software compiling scheme, and preliminary results generated using our compiler for various hardware-software decompositions of an Ogg Vorbis audio decoder, and a ray-tracing application.National Science Foundation (U.S.) (NSF (#CCF-0541164))National Research Foundation of Korea (grant from the Korean Government (MEST) (#R33-10095)

Beached bachelors: an extensive study on the largest recorded sperm whale <i>Physeter macrocephalus</i> mortality event in the North Sea

Between the 8th January and the 25th February 2016, the largest sperm whale Physeter macrocephalus mortality event ever recorded in the North Sea occurred with 30 sperm whales stranding in five countries within six weeks. All sperm whales were immature males. Groups were stratified by size, with the smaller animals stranding in the Netherlands, and the largest in England. The majority (n = 27) of the stranded animals were necropsied and/or sampled, allowing for an international and comprehensive investigation into this mortality event. The animals were in fair to good nutritional condition and, aside from the pathologies caused by stranding, did not exhibit significant evidence of disease or trauma. Infectious agents were found, including various parasite species, several bacterial and fungal pathogens and a novel alphaherpesvirus. In nine of the sperm whales a variety of marine litter was found. However, none of these findings were considered to have been the primary cause of the stranding event. Potential anthropogenic and environmental factors that may have caused the sperm whales to enter the North Sea were assessed. Once sperm whales enter the North Sea and head south, the water becomes progressively shallower (<40 m), making this region a global hotspot for sperm whale strandings. We conclude that the reasons for sperm whales to enter the southern North Sea are the result of complex interactions of extrinsic environmental factors. As such, these large mortality events seldom have a single ultimate cause and it is only through multidisciplinary, collaborative approaches that potentially multifactorial large-scale stranding events can be effectively investigated

The stranding anomaly as population indicator: the case of Harbour Porpoise <i>Phocoena phocoena</i> in North-Western Europe

Ecological indicators for monitoring strategies are expected to combine three major characteristics: ecological significance, statistical credibility, and cost-effectiveness. Strategies based on stranding networks rank highly in cost-effectiveness, but their ecological significance and statistical credibility are disputed. Our present goal is to improve the value of stranding data as population indicator as part of monitoring strategies by constructing the spatial and temporal null hypothesis for strandings. The null hypothesis is defined as: small cetacean distribution and mortality are uniform in space and constant in time. We used a drift model to map stranding probabilities and predict stranding patterns of cetacean carcasses under H-0 across the North Sea, the Channel and the Bay of Biscay, for the period 1990-2009. As the most common cetacean occurring in this area, we chose the harbour porpoise <i>Phocoena phocoena</i> for our modelling. The difference between these strandings expected under H-0 and observed strandings is defined as the stranding anomaly. It constituted the stranding data series corrected for drift conditions. Seasonal decomposition of stranding anomaly suggested that drift conditions did not explain observed seasonal variations of porpoise strandings. Long-term stranding anomalies increased first in the southern North Sea, the Channel and Bay of Biscay coasts, and finally the eastern North Sea. The hypothesis of changes in porpoise distribution was consistent with local visual surveys, mostly SCANS surveys (1994 and 2005). This new indicator could be applied to cetacean populations across the world and more widely to marine megafauna

Beached bachelors: An extensive study on the largest recorded sperm whale Physeter macrocephalus mortality event in the North Sea

Between the 8th January and the 25th February 2016, the largest sperm whale Physeter macrocephalus mortality event ever recorded in the North Sea occurred with 30 sperm whales stranding in five countries within six weeks. All sperm whales were immature males. Groups were stratified by size, with the smaller animals stranding in the Netherlands, and the largest in England. The majority (n = 27) of the stranded animals were necropsied and/or sampled, allowing for an international and comprehensive investigation into this mortality event. The animals were in fair to good nutritional condition and, aside from the pathologies caused by stranding, did not exhibit significant evidence of disease or trauma. Infectious agents were found, including various parasite species, several bacterial and fungal pathogens and a novel alphaherpesvirus. In nine of the sperm whales a variety of marine litter was found. However, none of these findings were considered to have been the primary cause of the stranding event. Potential anthropogenic and environmental factors that may have caused the sperm whales to enter the North Sea were assessed. Once sperm whales enter the North Sea and head south, the water becomes progressively shallower (<40 m), making this region a global hotspot for sperm whale strandings. We conclude that the reasons for sperm whales to enter the southern North Sea are the result of complex interactions of extrinsic environmental factors. As such, these large mortality events seldom have a single ultimate cause and it is only through multidisciplinary, collaborative approaches that potentially multifactorial large-scale stranding events can be effectively investigated

Beached bachelors: An extensive study on the largest recorded sperm whale Physeter macrocephalus mortality event in the North Sea

Between the 8th January and the 25th February 2016, the largest sperm whale Physeter macrocephalus mortality event ever recorded in the North Sea occurred with 30 sperm whales stranding in five countries within six weeks. All sperm whales were immature males. Groups were stratified by size, with the smaller animals stranding in the Netherlands, and the largest in England. The majority (n = 27) of the stranded animals were necropsied and/or sampled, allowing for an international and comprehensive investigation into this mortality event. The animals were in fair to good nutritional condition and, aside from the pathologies caused by stranding, did not exhibit significant evidence of disease or trauma. Infectious agents were found, including various parasite species, several bacterial and fungal pathogens and a novel alphaherpesvirus. In nine of the sperm whales a variety of marine litter was found. However, none of these findings were considered to have been the primary cause of the stranding event. Potential anthropogenic and environmental factors that may have caused the sperm whales to enter the North Sea were assessed. Once sperm whales enter the North Sea and head south, the water becomes progressively shallower (<40 m), making this region a global hotspot for sperm whale strandings. We conclude that the reasons for sperm whales to enter the southern North Sea are the result of complex interactions of extrinsic environmental factors. As such, these large mortality events seldom have a single ultimate cause and it is only through multidisciplinary, collaborative approaches that potentially multifactorial large-scale stranding events can be effectively investigated

Beached bachelors: An extensive study on the largest recorded sperm whale Physeter macrocephalus mortality event in the North Sea

Between the 8th January and the 25th February 2016, the largest sperm whale Physeter macrocephalus mortality event ever recorded in the North Sea occurred with 30 sperm whales stranding in five countries within six weeks. All sperm whales were immature males. Groups were stratified by size, with the smaller animals stranding in the Netherlands, and the largest in England. The majority (n = 27) of the stranded animals were necropsied and/ or sampled, allowing for an international and comprehensive investigation into this mortality event. The animals were in fair to good nutritional condition and, aside from the pathologies caused by stranding, did not exhibit significant evidence of disease or trauma. Infectious agents were found, including various parasite species, several bacterial and fungal pathogens and a novel alphaherpesvirus. In nine of the sperm whales a variety of marine litter was found. However, none of these findings were considered to have been the primary cause of the stranding event. Potential anthropogenic and environmental factors that may have caused the sperm whales to enter the North Sea were assessed. Once sperm whales enter the North Sea and head south, the water becomes progressively shallower (<40 m), making this region a global hotspot for sperm whale strandings. We conclude that the reasons for sperm whales to enter the southern North Sea are the result of complex interactions of extrinsic environmental factors. As such, these large mortality events seldom have a single ultimate cause and it is only through multidisciplinary, collaborative approaches that potentially multifactorial large-scale stranding events can be effectively investigated